Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

These Proceedings represent the metallurgical engineering and materials science research presented at the 62nd Annual Conference of Metallurgists (COM 2023), held in Toronto, Canada, from 21 to 24 August 2023. The Annual Conference of Metallurgists is organized by the Metallurgy & Materials Society of the Canadian Institute of Mining, Metallurgy and Petroleum (MetSoc of CIM). The collection themed ‘Climate Change and Sustainability’ presents findings on a wide range of topics, including: Advanced Manufacturing and Materials Sustainability: Integration for Better Outcomes Light Metals for Transportation and Next Generation Vehicles Derek Kerfoot Memorial Pressure Hydrometallurgy Symposium Laplante-Laskowski Symposium on Mineral Processing Fundamentals Wasmund Memorial Symposium of Sustainability in Pyrometallurgy.

Metals. --- Materials --- Building materials. --- Materials. --- Mineralogy. --- Metals and Alloys. --- Materials Fatigue. --- Structural Materials. --- Metal-organic Frameworks. --- Fatigue.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

These proceedings gather outstanding papers presented at the China SAE Congress 2021, held on Oct. 19-21, Shanghai, China. Featuring contributions mainly from China, the biggest carmaker as well as most dynamic car market in the world, the book covers a wide range of automotive-related topics and the latest technical advances in the industry. Many of the approaches in the book will help technicians to solve practical problems that affect their daily work. In addition, the book offers valuable technical support to engineers, researchers and postgraduate students in the field of automotive engineering.

Transport engineering --- Transport. Traffic --- verkeer --- transport --- motorrijtuigen --- ingenieurswetenschappen --- Automobiles --- Design and construction. --- Design and construction

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book contains the original peer-reviewed research papers presented at the 6th China Aeronautical Science and Technology Conference held in Wuzhen, Zhejiang Province, China, in September 2023. Topics covered include but are not limited to Navigation/Guidance and Control Technology, Aircraft Design and Overall Optimisation of Key Technologies, Aviation Testing Technology, Airborne Systems/Electromechanical Technology, Structural Design, Aerodynamics and Flight Mechanics, Advanced Aviation Materials and Manufacturing Technology, Advanced Aviation Propulsion Technology, and Civil Aviation Transportation. The papers presented here share the latest findings in aviation science and technology, making the book a valuable resource for researchers, engineers and students in related fields.

Aerospace engineering. --- Astronautics. --- Control engineering. --- Robotics. --- Automation. --- Aerospace Technology and Astronautics. --- Control, Robotics, Automation. --- Aeronautics --- Aerospace engineering

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

AC, the axiom of choice, because of its non-constructive character, is the most controversial mathematical axiom, shunned by some, used indiscriminately by others. This treatise shows paradigmatically that: Disasters happen without AC: Many fundamental mathematical results fail (being equivalent in ZF to AC or to some weak form of AC). Disasters happen with AC: Many undesirable mathematical monsters are being created (e.g., non measurable sets and undeterminate games). Some beautiful mathematical theorems hold only if AC is replaced by some alternative axiom, contradicting AC (e.g., by AD, the axiom of determinateness). Illuminating examples are drawn from diverse areas of mathematics, particularly from general topology, but also from algebra, order theory, elementary analysis, measure theory, game theory, and graph theory.

Axiom of choice. --- Axiome du choix --- Mathematics. --- Algebra. --- Functional analysis. --- Combinatorics. --- Logic, Symbolic and mathematical. --- Topology. --- Mathematical Logic and Foundations. --- General Algebraic Systems. --- Functional Analysis. --- Game Theory, Economics, Social and Behav. Sciences. --- Axiom of choice --- Mathematics --- Physical Sciences & Mathematics --- Algebra --- Mathematical Theory --- 51 --- 510.22 --- Set theory. Set theoretic approach. Theory of order types, of ordinal and cardinal numbers --- 510.22 Set theory. Set theoretic approach. Theory of order types, of ordinal and cardinal numbers --- 51 Mathematics --- Axiomatic set theory. --- Choice, Axiom of --- Game theory. --- Mathematical logic. --- Combinatorics --- Mathematical analysis --- Analysis situs --- Position analysis --- Rubber-sheet geometry --- Geometry --- Polyhedra --- Set theory --- Algebras, Linear --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Syllogism --- Games, Theory of --- Theory of games --- Mathematical models --- Functional calculus --- Calculus of variations --- Functional equations --- Integral equations --- Math --- Science --- Axiomatic set theory --- Axioms --- Logic, Symbolic and mathematical --- 51 Wiskunde. Mathematiek --- Wiskunde. Mathematiek

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book addresses a means of quantitatively assessing functional verification progress. Without this process, design and verification engineers, and management, are left guessing whether or not they have completed verifying the device they are designing.

Computer aided design. --- Computer engineering. --- Engineering. --- Integrated circuits. --- Systems engineering. --- Integrated circuits --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Electrical Engineering --- Verification --- Hardware verification --- Integrated circuit verification --- Verification of hardware --- Verification of integrated circuits